Lee, Oukseh : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (9)
Les plus populaires
Liste
- Liste
- Tableau

1

[IEEE 2008 10th International Conference on Advanced Communication Technology - Gangwon-Do, South Korea (2008.02.17-2008.02.20)] 2008 10th International Conference on Advanced Communication Technology - APROV: Another Program Verifier for Embedded Linux Device Drivers

Lee, Oukseh, Jung, Seung-Cheol, Ahn, Hyo-Cheon, Kim, Taeho

Année:

2008

Langue:

english

Fichier:

PDF, 428 KB

english, 2008

2

Proofs about a folklore let-polymorphic type inference algorithm

Lee, Oukseh, Yi, Kwangkeun

Journal:

ACM Transactions on Programming Languages and Systems

Année:

1998

Langue:

english

Fichier:

PDF, 266 KB

english, 1998

3

A proof method for the correctness of modularized 0CFA

Oukseh Lee, Kwangkeun Yi, Yunheung Paek

Journal:

Information Processing Letters

Année:

2002

Langue:

english

Fichier:

PDF, 90 KB

english, 2002

4

Proofs of a set of hybrid let-polymorphic type inference algorithms

Hyunjun Eo, Oukseh Lee, Kwangkeun Yi

Journal:

New Generation Computing

Année:

2004

Langue:

english

Fichier:

PDF, 1.63 MB

english, 2004

5

Static insertion of safe and effective memory reuse commands into ML-like programs

Oukseh Lee, Hongseok Yang, Kwangkeun Yi

Journal:

Science of Computer Programming

Année:

2005

Langue:

english

Fichier:

PDF, 524 KB

english, 2005

6

A divide-and-conquer approach for analysing overlaid data structures

Lee, Oukseh, Yang, Hongseok, Petersen, Rasmus

Journal:

Formal Methods in System Design

Année:

2012

Langue:

english

Fichier:

PDF, 669 KB

english, 2012

7

[ACM Press the 4th international symposium - Vancouver, BC, Canada (2004.10.24-2004.10.25)] Proceedings of the 4th international symposium on Memory management - ISMM '04 - Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs

Lee, Oukseh, Yi, Kwangkeun

Année:

2004

Langue:

english

Fichier:

PDF, 329 KB

english, 2004

8

[IEEE 2008 10th International Conference on Advanced Communication Technology - Gangwon-Do, South Korea (2008.02.17-2008.02.20)] 2008 10th International Conference on Advanced Communication Technology - Applying Dataflow Analysis to Detecting Software Vulnerability

Kim, Hyunha, Choi, Tae-Hyoung, Jung, Seung-Cheol, Kim, Hyoung-Cheol, Lee, Oukseh, Doh, Kyung-Goo

Année:

2008

Langue:

english

Fichier:

PDF, 461 KB

english, 2008

9

[IEEE 8th International Conference on Advanced Communication Technology - Phoenix Park, Korea (2006.02.20-2006.02.22)] 2006 8th International Conference Advanced Communication Technology - APROV-SL: a specification language of the another program verifier

Taeho Kim,, Oukseh Lee,, Chaedeok Lim,

Année:

2006

Langue:

english

Fichier:

PDF, 177 KB

english, 2006